|
A
AB theorem, 438
Abelson and Sussman, 18, 47, 80, 213
absolute vector, 96, 459
abstract datatype, 267, 268
abstraction, 71, 72, 73, 74, 76, 82, 117, 124, 127, 156, 157, 158, 160, 163, 164, 165, 171, 172, 178, 179, 180, 183, 185, 204, 238, 266, 268, 283, 320, 410, 411, 412, 449, 454, 476
abstractions rule, 424, 425, 428, 429, 430, 435, 449
active variables, 380
ad hoc polymorphism, 206, 232
Adams, 485
algebra, 61, 84, 268, 276, 277, 282, 485
analytic, 219, 244, 245
anonymous functions, 116, 117
answer literal, 353, 354, 355
application, 12, 72, 108, 109, 130, 156, 157, 159, 165, 172, 178, 180, 185, 208, 233, 238, 321, 423, 437, 439, 440, 449, 476, 477, 487
applications rule, 423, 424, 426, 430, 434, 436, 449
applicative order, 22, 23, 24, 25, 161
argument, 30, 36, 45, 64, 66, 69, 89, 99, 100, 101, 102, 124, 125, 131, 160, 165, 169, 172, 177, 179, 206, 215, 216, 228, 248, 255, 305, 312, 314, 321, 347, 358, 360, 436, 461, 463, 466
arity, 22, 161, 168, 179
array, 7, 467, 468
arrow operator, 204, 205
A-rules, 438, 440
ASCII, 63, 64, 68, 71, 466, 469
assembler, 9, 12
assignment, 1, 12, 56, 57, 81, 82, 196, 242, 430
association list, 53
atomic formula, 292
atoms, 62, 77, 172, 226, 238, 240, 346, 351, 352, 353, 363, 365
attachment, 77
AUM, 15
automated deduction, 7
axiom, 216, 220, 234, 257, 269, 270, 271, 272, 289, 369
axiomatic semantics, 316
axiomatic types, 234
axioms, 231, 232, 234, 255, 482, 483
|
|
